/* eslint-disable */

import type { Num2 } from './types2';
export type Num = Num2;
